13

On the status of proving program properties in effective interpretations

Year:
1993
Language:
english
File:
PDF, 801 KB
english, 1993
17

Arithmetical completeness versus relative completeness

Year:
1988
Language:
english
File:
PDF, 451 KB
english, 1988
29

On relative completeness of Hoare logics

Year:
1985
Language:
english
File:
PDF, 683 KB
english, 1985
33

Ever decreasing circles for increased performance

Year:
1994
Language:
english
File:
PDF, 167 KB
english, 1994
40

CONFERENCES HELD

Year:
1964
Language:
english
File:
PDF, 175 KB
english, 1964